English theorem proving program: תרגום לשפות אחרות